Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
11	Downloaded from orbit.dtu.dk on: Aug 13, 2016 Formalization of Algorithms and Logical Inference Systems in Proof Assistants Schlichtkrull, Anders Published in: Add to Reading List Source URL: orbit.dtu.dk Language: English - Date: 2016-01-29 23:14:59 Logic Mathematical logic Abstraction Automated theorem proving Reasoning Syntax Theoretical computer science Artificial intelligence Automated reasoning Proof assistant Isabelle First-order logic
12	Empirical Issues in Syntax and Semantics 8 O. Bonami & P. Cabredo Hofherr (eds, pp. 97–121 http://www.cssp.cnrs.fr/eiss8 Reconstructing functional relatives Add to Reading List Source URL: www.cssp.cnrs.fr Language: English - Date: 2011-02-21 12:14:12 Syntax Grammar Semantics Pronouns Disputes in English grammar Relative clause English relative clauses Equative Clause Logical Form Antecedent Distributive pronoun
13	The SmPL Grammar (versionResearch group on Coccinelle June 3, 2016 This document presents the grammar of the SmPL language used by the Coccinelle tool. For the most part, the grammar is written using standard no Add to Reading List Source URL: coccinelle.lip6.fr Language: English Syntax Metalogic Metavariable Functional languages Logical truth Propositional calculus Rule of inference Identifier OCaml Coccinelle Cascading Style Sheets Reserved word
14	Colorless green ideas do sleep furiously: the necessity of grammar For the field of generative syntax, the debate over the existence of a sophisticated mental grammar was settled with Chomsky’s The Logical Structure of Add to Reading List Source URL: linguistics.concordia.ca Language: English Syntax Noam Chomsky Grammar Philosophy of logic Semantics Colorless green ideas sleep furiously Syntactic Structures N-gram Probability Generative grammar Grammaticality
15	Wh-in-situ Josef Bayer & Lisa Lai-Shen Cheng Case #77 CONTENT 0. Add to Reading List Source URL: www.lisacheng.nl Language: English - Date: 2016-04-18 07:04:59 Syntax Generative linguistics Grammar Wh-movement Locality Pied-piping Clause Logical Form Subjacency In situ Trace Interrogative word
16	Computing Fundamentals Salvatore Filippone 2013–2014 Add to Reading List Source URL: people.uniroma2.it Language: English - Date: 2014-09-23 08:13:16 Procedural programming languages Conditional Boolean data type C Statement For loop Switch statement Logical connective Subroutine ?: Java syntax
17	Recent Developments in ΩMEGA’s Proof Search Programming Language Serge Autexier Dominik Dietrich Add to Reading List Source URL: dream.inf.ed.ac.uk Language: English - Date: 2010-07-03 11:10:40 Logic Proof theory Formal systems Logical truth Syntax Proof assistants Mathematical proof Logic programming Sequent KeY Rule of inference Inference
18	LACL 2012 Logical Aspects of Computational Linguistics System Demonstrations Add to Reading List Source URL: lacl.gforge.inria.fr Language: English Linguistics Grammar Formal languages Cognitive science Syntax Tree-adjoining grammar Categorial grammar
19	Translation of English into Logical Expressions V.R. Pratt A thesis submitted for the degree of Add to Reading List Source URL: boole.stanford.edu Language: English - Date: 2015-05-31 14:37:32 Syntax Formal languages Cognitive science Grammar Linguistics Language Noam Chomsky Context-free grammar Transformational grammar Formal grammar Phrase structure grammar Syntactic Structures
20	Replace this file with prentcsmacro.sty for your meeting, or with entcsmacro.sty for your meeting. Both can be found at the ENTCS Macro Home Page. System Description: Delphin – A Functional Programming Language for Ded Add to Reading List Source URL: www.itu.dk Language: English - Date: 2008-06-03 10:17:56 Type theory Logic in computer science Lambda calculus Dependently typed programming Subroutines Combinatory logic Higher-order abstract syntax Twelf Dependent type Parameter Logical framework Fixed-point combinator